Constraint algorithm - PDFSEARCH.IO - Document Search Engine

Constraint algorithm
Results: 320

#	Item
171	Refutation-Complete Binary Decision Diagrams Scott P. Sanner Department of Computer Science University of Toronto Toronto, ON M5S 3G4 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2004-05-05 19:58:06 Boolean algebra Automated theorem proving Constraint programming Mathematical logic Diagrams Binary decision diagram DPLL algorithm Boolean satisfiability problem Resolution Theoretical computer science Mathematics Applied mathematics
172	Exchange rate returns and external adjustment: evidence from Switzerland Christian Grisse and Thomas Nitschka SNB Working Papers[removed] Add to Reading List Source URL: www.snb.ch Language: English Science Forward contract Computational science Constraint algorithm
173	AAAI-06 Technical Paper Abstracts (Organized by schedule of presentation) Tuesday, July 18 10:20 – 11:20 AM Machine Learning I Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-16 00:04:28 Inductive reasoning Reasoning Cybernetics Automated theorem proving Constraint programming Reasoning system Algorithm Collaborative filtering Agent-based model Artificial intelligence Science Cognition
174	USER INTERACTION WITH CAD MODELS WITH NONHOLONOMIC PARAMETRIC SURFACE CONSTRAINTS Donald D. Nelson Elaine Cohen University of Utah Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 1999-06-24 18:26:17 Mathematical optimization Classical mechanics Dynamical systems Mechanics Molecular dynamics Multibody system Constraint algorithm Quaternion Lagrange multiplier Physics Mathematics Mathematical analysis
175	NATIONAL GENERATORS FORUM RESPONSE TO THE AEMC’S CONSULTATION ON THE AER’S RAMP RATE AND FSIP RULE CHANGE Add to Reading List Source URL: www.esaa.com.au Language: English - Date: 2014-09-24 00:53:30 Electric power distribution Physics National Electricity Market Electricity market Supply and demand Demand Supply Constraint algorithm Economics Consumer theory Terminology
176	New Developments in Artificial Intelligence and the Semantic Web Add to Reading List Source URL: www.stes.fi Language: English - Date: 2006-10-23 12:14:00 Recreational mathematics Cybernetics Search algorithms Sudoku algorithms Genetic algorithm Evolutionary algorithm Backtracking Constraint satisfaction Mathematical puzzle Mathematics Logic puzzles Sudoku
177	Towards a General Framework for Program Generation in Creative Domains Marc Hull Department of Computing Imperial College 180 Queen’s Gate London Add to Reading List Source URL: www.thepaintingfool.com Language: English - Date: 2013-10-24 13:18:46 Constraint programming Mathematical optimization Cybernetics Mathematics Search algorithms Genetic algorithm Genetic programming Evolutionary algorithm Tree Operations research Science Applied mathematics
178	A Min-Max Genetic Algorithm with Alternating Multiple Sorting for Solving Constrained Problems Timo Mantere Department of Electrical Engineering and Automation University of Vaasa FIN[removed]Vaasa Add to Reading List Source URL: www.stes.fi Language: English - Date: 2006-10-19 04:44:00 Mathematics Cybernetics Convex optimization Genetic algorithm Penalty method Candidate solution Constraint Algorithm Optimization problem Mathematical optimization Applied mathematics Operations research
179	@ Computer Graphics, Volume 22, Number 4, August 1988 A Modeling System Based On Dynamic Constraints Rouen Barzel Add to Reading List Source URL: www.ronenbarzel.org Language: English - Date: 2006-10-19 16:54:58 Science Classical mechanics Kinematics Dynamical systems Mechanics Constraint algorithm Constraint logic programming Physics Mathematics Constraint programming
180	c o m p u t e r s & s e c u r i t y[removed]2 9 3 e3 0 4 Available online at www.sciencedirect.com ScienceDirect journal homepage: www.elsevier.com/locate/cose Add to Reading List Source URL: all.net Language: English - Date: 2014-08-05 08:18:56 Business Scheduling algorithms Technology Scheduling Mathematical optimization Applied mathematics Genetic algorithm scheduling Nurse scheduling problem Operations research Planning Constraint programming

UPDATE